根据《软件工程术语GB/T11457-2006》，( )是一个正式的过程，通过这个过程决定产品是否符合它的规格说明，是否可在目标环境中使用。